#include "libc/sysv/macros.internal.h"
.scall sys_times,0xfffffffffffff064,153,4095,4095,globl,hidden
